$\forall$$P$, $Q$:$\mathbb{P}$. SqStable($Q$) $\Rightarrow$ SqStable($P$ $\Rightarrow$ $Q$)